E (SETQ $PRINT-BUDGET-MONTHLY nil) READ (SALARY IN DSK (PRO HE)) READ (NSF82 IN DSK (PRO HE)) BUDGET first-year (NSF82 OUT DSK (PRO HE))